- разрешимое высказывание
- decidable sentence мат., decidable statement
Русско-английский научно-технический словарь Масловского. 2015.
разрешимое высказывание
Look at other dictionaries:
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
Сами боги — The Gods Themselves Жанр: научная фантастика Автор: Айзек Азимов Язык оригинала: английский Публикация: 1972 год … Википедия
